Feeds to Scour
SubscribedAll
Scoured 9573 posts in 1.75 s
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท9h
๐Ÿ’งLiquid Types
Preview
Report Post
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท12hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
CVE-2025-68260: rust_binder: fix race condition on death_list
lore.kernel.orgยท6hยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท16h
โœ…Formal Methods
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.orgยท19hยท
Discuss: r/compsci
๐Ÿ“ฅFeed Aggregation
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Preview
Report Post
<p>**Abstract:** This paper proposes a novel framework for Federated Quantum Key Distribution (FQKD) integrating adaptive trust management mechanisms to enhance...
freederia.comยท2h
๐Ÿ”Quantum Security
Preview
Report Post
Zen-GC โ€“ policy-driven K8s garbage collection for automated cleanup
github.comยท11hยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
Preview
Report Post
Transaction Management: Making ACID Real
dev.toยท10hยท
Discuss: DEV
๐Ÿ“Database WAL
Preview
Report Post
Shell Command Language
pubs.opengroup.orgยท8h
๐Ÿ“Shell Parsing
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.comยท1d
๐Ÿ’งLiquid Types
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy โ€” TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.ioยท13h
๐Ÿ“Parsing Grammars
Preview
Report Post
Show HN: AgentCmds โ€“ A directory of slash commands for AI agents
agentcmds.workยท17hยท
Discuss: Hacker News
โšกProof Automation
Preview
Report Post
Building the World's First Cryptographic Audit Trail for MetaTrader: A Deep Technical Dive
dev.toยท20hยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees
Preview
Report Post
Bypass Windows user interface privilege isolation via the CTF input method proto
projectzero.googleยท1dยท
Discuss: Hacker News
๐ŸŽฏNTLM Attacks
Preview
Report Post
Cracking the Code: A Walkthrough of the Fam Product Security Challenge
infosecwriteups.com
ยท2d
๐ŸงชBinary Fuzzing
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
๐Ÿ“œProof Carrying Code
Preview
Report Post
The Little Book of Python Anti-Patterns โ€” Python Anti-Patterns documentation
docs.quantifiedcode.comยท2dยท
Discuss: Hacker News
โœ…Format Verification
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ›๏ธAgda
Preview
Report Post